\begin{tabbing}
MsgAForm
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$x$:Id fp$\rightarrow$ Top\+
\\[0ex]$\times$$x$:Knd fp$\rightarrow$ Type
\\[0ex]$\times$$x$:Id fp$\rightarrow$ Top
\\[0ex]$\times$$x$:Id fp$\rightarrow$ Top
\\[0ex]$\times$$x$:Knd$\times$Id fp$\rightarrow$ Top
\\[0ex]$\times$$x$:Knd$\times$IdLnk fp$\rightarrow$ Top
\\[0ex]$\times$$x$:Id fp$\rightarrow$ Top
\\[0ex]$\times$$x$:IdLnk$\times$Id fp$\rightarrow$ Top
\\[0ex]$\times$$k$:Knd fp$\rightarrow$ Top
\\[0ex]$\times$$k$:Knd fp$\rightarrow$ Top
\\[0ex]$\times$$x$:Id fp$\rightarrow$ Top
\\[0ex]$\times$Top
\-
\end{tabbing}